搜索包含 Explokart (Program) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Explokart (Program) 的图书(共254本)

	行走·发现 xing zou · fa xian [专著] : 变迁·中美高校主题创作项目 : transitions: the American-Chinese communication program of college image creation 0 索取号：作者：北京电影学院 bei jing dian ying xue yuan 摄影学院、出版社：北京 : 中国摄影出版社, 2013		基于能力方法的福利经济学 : 一个超越功利主义的研究纲领 : a research program of super-utilitarianism 0 索取号：F061.4/20133 作者：汪毅霖、出版社：北京 : 经济管理出版社, 2013
	Program Development In Java : Abstraction, Specification, and Object-Oriented Design : 英文版 : 抽象、规格与面向对象设计 0 索取号：TP311.52/7 作者：Liskov、(Liskov、B.)、Guttag、(Guttag、J.)、出版社：北京 : 电子工业出版社, 2006		An Integrative Approach to Innovation Management [electronic resource] : Patterns of Companies鈥ɮnovation Orientation and Customer Responses to Product Program Innovativeness 0 索取号：作者：Zacharias、 Nicolas.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler, 2011.
	On the Move to Meaningful Internet Systems: OTM 2012 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings 0 索取号：作者：Herrero、 Pilar.、Panetto、 Herv茅.、Meersman、 Robert.、Dillon、 Tharam.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers 0 索取号：作者：Vidal、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings 0 索取号：作者：Gibbons、 Jeremy.、Nogueira、 Pablo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday 0 索取号：作者：Constable、 Robert L.、Silva、 Alexandra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 0 索取号：作者：Alpuente、 Mar铆a.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Fundamental Medical and Engineering Investigations on Protective Artificial Respiration [electronic resource] : A Collection of Papers from the DFG Funded Research Program PAR 0 索取号：作者：Klaas、 Michael.、Koch、 Edmund.、Schr枚der、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Qu茅bec City, Canada, June 21-23, 2010. Proceedings 0 索取号：作者：Bolduc、 Claude.、Desharnais、 Jules.、Ktari、 B茅chir.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers 0 索取号：作者：Schreye、 Danny.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 0 索取号：作者：Hanus、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Human Machine Interaction [electronic resource] : Research Results of the MMI Program 0 索取号：作者：Lalanne、 Denis.、Kohlas、 J眉rg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Touch of Class [electronic resource] : Learning to Program Well with Objects and Contracts 0 索取号：作者：Meyer、 Bertrand.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers 0 索取号：作者：King、 Andy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

	行走·发现 xing zou · fa xian [专著] : 变迁·中美高校主题创作项目 : transitions: the American-Chinese communication program of college image creation 0 索取号：作者：北京电影学院 bei jing dian ying xue yuan 摄影学院、出版社：北京 : 中国摄影出版社, 2013		基于能力方法的福利经济学 : 一个超越功利主义的研究纲领 : a research program of super-utilitarianism 0 索取号：F061.4/20133 作者：汪毅霖、出版社：北京 : 经济管理出版社, 2013
	Program Development In Java : Abstraction, Specification, and Object-Oriented Design : 英文版 : 抽象、规格与面向对象设计 0 索取号：TP311.52/7 作者：Liskov、(Liskov、B.)、Guttag、(Guttag、J.)、出版社：北京 : 电子工业出版社, 2006		An Integrative Approach to Innovation Management [electronic resource] : Patterns of Companies鈥ɮnovation Orientation and Customer Responses to Product Program Innovativeness 0 索取号：作者：Zacharias、 Nicolas.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler, 2011.
	On the Move to Meaningful Internet Systems: OTM 2012 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings 0 索取号：作者：Herrero、 Pilar.、Panetto、 Herv茅.、Meersman、 Robert.、Dillon、 Tharam.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers 0 索取号：作者：Vidal、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings 0 索取号：作者：Gibbons、 Jeremy.、Nogueira、 Pablo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday 0 索取号：作者：Constable、 Robert L.、Silva、 Alexandra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 0 索取号：作者：Alpuente、 Mar铆a.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Fundamental Medical and Engineering Investigations on Protective Artificial Respiration [electronic resource] : A Collection of Papers from the DFG Funded Research Program PAR 0 索取号：作者：Klaas、 Michael.、Koch、 Edmund.、Schr枚der、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Qu茅bec City, Canada, June 21-23, 2010. Proceedings 0 索取号：作者：Bolduc、 Claude.、Desharnais、 Jules.、Ktari、 B茅chir.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers 0 索取号：作者：Schreye、 Danny.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 0 索取号：作者：Hanus、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Human Machine Interaction [electronic resource] : Research Results of the MMI Program 0 索取号：作者：Lalanne、 Denis.、Kohlas、 J眉rg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Touch of Class [electronic resource] : Learning to Program Well with Objects and Contracts 0 索取号：作者：Meyer、 Bertrand.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers 0 索取号：作者：King、 Andy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.